pseudo-metric space

伪度量空间